Thực đơn
Định_lý_Sylow Ứng dụngTồn tại những số tự nhiên n sao cho mọi nhóm con với cấp n đều cyclic. Ta có thể chứng minh được rằng n = 15 {\displaystyle n=15} là một số như thế bằng cách sử dụng các định lý Sylow: Giả sử G là một nhóm cấp 15 = 3 × 5 {\displaystyle 15=3\times 5} và n 3 , n 5 {\displaystyle n_{3},n_{5}} lần lượt là số các 3-nhóm con Sylow và 5-nhóm con Sylow. Ta có n 3 ∣ 5 {\displaystyle n_{3}\mid 5} và n 3 ≡ 1 ( mod 5 ) {\displaystyle n_{3}\equiv 1{\pmod {5}}} , suy ra n 3 {\displaystyle n_{3}} phải bằng 1, và do đó 3-nhóm con Sylow duy nhất này là nhóm con chuẩn tắc. Tương tự, ta cũng có duy nhất một 5-nhóm con Sylow chuẩn tắc. Vì 3 và 5 là hai số nguyên tố cùng nhau, giao của hai nhóm con Sylow này là tầm thường. Vì vậy, G phải là tích trực tiếp của hai nhóm con Sylow, cũng là hai nhóm con cyclic. Từ đó suy ra G phải là nhóm cyclic. Do đó, tồn tại duy nhất một nhóm cấp 15, là nhóm cyclic Z / 15 Z {\displaystyle \mathbb {Z} /15\mathbb {Z} } (chính xác tới đẳng cấu).
Trong mục này, ta sẽ khảo sát tính tồn tại của các nhóm đơn với cấp "nhỏ".
Nếu G {\displaystyle G} là nhóm đơn và | G | = 30 = 2 ⋅ 3 ⋅ 5 {\displaystyle |G|=30=2\cdot 3\cdot 5} thì n 3 {\displaystyle n_{3}} phải là ước của 10, và n 3 ≡ 1 ( mod 3 ) {\displaystyle n_{3}\equiv 1{\pmod {3}}} . Từ đó suy ra n 3 = 10 {\displaystyle n_{3}=10} , vì 2 , 5 ≢ 1 ( mod 3 ) {\displaystyle 2,5\not \equiv 1{\pmod {3}}} và nếu n 3 = 1 {\displaystyle n_{3}=1} thì G {\displaystyle G} có nhóm con chuẩn tắc cấp 3 (là 3-nhóm con Sylow duy nhất của nó), vì vậy G {\displaystyle G} không thể là nhóm đơn. Do đó, G {\displaystyle G} có 10 nhóm con cấp 3 phân biệt, các nhóm con này đôi một có chung một phần tử duy nhất là e {\displaystyle e} (phần tử đơn vị) và mỗi nhóm con chứa hai phần tử cấp 3. Suy ra G {\displaystyle G} có ít nhất 20 phần tử cấp 3. Tương tự, ta có n 5 = 6 {\displaystyle n_{5}=6} và G {\displaystyle G} chứa ít nhất 6 ⋅ ( 5 − 1 ) = 24 {\displaystyle 6\cdot (5-1)=24} phần tử cấp 5. Như vậy thì tổng số phần tử cấp 3 và cấp 5 ít nhất là 20 + 24 = 44 > 30 = | G | {\displaystyle 20+24=44>30=|G|} , điều này không thể xảy ra. Vì vậy không tồn tại nhóm đơn cấp 30.
Tiếp theo, ta xét nhóm G {\displaystyle G} với cấp 42 = 2 ⋅ 3 ⋅ 7 {\displaystyle 42=2\cdot 3\cdot 7} . Ta có n 7 ∣ 6 {\displaystyle n_{7}\mid 6} và n 7 ≡ 1 ( mod 7 ) {\displaystyle n_{7}\equiv 1{\pmod {7}}} . Do đó n 7 = 1 {\displaystyle n_{7}=1} và vì vậy, G {\displaystyle G} không thể là nhóm đơn.
Mặt khác, xét nhóm G {\displaystyle G} với | G | = 60 = 2 2 ⋅ 3 ⋅ 5 {\displaystyle |G|=60=2^{2}\cdot 3\cdot 5} , khi đó ta tìm được n 3 = 10 {\displaystyle n_{3}=10} và n 5 = 6 {\displaystyle n_{5}=6} . Trên thực tế, nhóm đơn nhỏ nhất mà không phải là nhóm cyclic là A 5 {\displaystyle A_{5}} , nhóm thay phiên trên 5 phần tử. Cấp của A 5 {\displaystyle A_{5}} bằng 5 ! / 2 = 60 {\displaystyle 5!/2=60} và nó chứa 24 phép thế cấp 5 và 20 phép thế cấp 3.
Thực đơn
Định_lý_Sylow Ứng dụngLiên quan
Tài liệu tham khảo
WikiPedia: Định_lý_Sylow http://resolver.sub.uni-goettingen.de/purl?GDZPPN0... //www.ams.org/mathscinet-getitem?mr=0147529 //www.ams.org/mathscinet-getitem?mr=0367027 //www.ams.org/mathscinet-getitem?mr=0575718 //www.ams.org/mathscinet-getitem?mr=0805654 //www.ams.org/mathscinet-getitem?mr=0813589 //www.ams.org/mathscinet-getitem?mr=0925595 //www.ams.org/mathscinet-getitem?mr=0931678 //www.ams.org/mathscinet-getitem?mr=1079450 //www.ams.org/mathscinet-getitem?mr=1096350